جمع التبرعات 15 سبتمبر 2024 – 1 أكتوبر 2024 حول جمع التبرعات
1
Concepts in Programming Languages

Concepts in Programming Languages

John C. Mitchell, Krzysztof Apt
عام:
2001
اللغة:
english
ملف:
PDF, 7.59 MB
0 / 1.0
english, 2001
2
A Brief History of Mathematics for Curious Minds

A Brief History of Mathematics for Curious Minds

Krzysztof R Apt
عام:
2024
اللغة:
english
ملف:
PDF, 40.13 MB
0 / 4.0
english, 2024
3
Principles of Constraint Programming

Principles of Constraint Programming

Krzysztof Apt
عام:
2003
اللغة:
english
ملف:
PDF, 1.74 MB
0 / 0
english, 2003
4
From Logic Programming to Prolog

From Logic Programming to Prolog

Krzysztof R. Apt
عام:
1996
اللغة:
english
ملف:
PDF, 1.30 MB
0 / 0
english, 1996
5
Verification of sequential and concurrent programs

Verification of sequential and concurrent programs

Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog
عام:
2009
اللغة:
english
ملف:
PDF, 2.10 MB
0 / 0
english, 2009
6
Principles of constraint programming

Principles of constraint programming

Krzysztof Apt
عام:
2003
اللغة:
english
ملف:
PDF, 1.73 MB
0 / 0
english, 2003
7
Constraint Logic Programming using Eclipse

Constraint Logic Programming using Eclipse

Krzysztof R. Apt, Mark Wallace
عام:
2007
اللغة:
english
ملف:
PDF, 1.50 MB
0 / 0
english, 2007
8
Concepts in programming languages

Concepts in programming languages

John C. Mitchell, Krzysztof Apt
عام:
2001
اللغة:
english
ملف:
PDF, 7.59 MB
0 / 0
english, 2001
9
Lectures in Game Theory for Computer Scientists

Lectures in Game Theory for Computer Scientists

Krzysztof R. Apt, Erich Grädel
عام:
2011
اللغة:
english
ملف:
PDF, 1.72 MB
0 / 0
english, 2011
11
New Perspectives on Games and Interaction

New Perspectives on Games and Interaction

Krzysztof R. Apt, Robert van Rooij, eds.
عام:
2009
اللغة:
english
ملف:
PDF, 8.89 MB
0 / 0
english, 2009
12
Verification of Sequential and Concurrent Programs

Verification of Sequential and Concurrent Programs

Krzysztof R. Apt, Ernst-Rüdiger Olderog
عام:
1997
اللغة:
english
ملف:
PDF, 9.05 MB
0 / 0
english, 1997
15
Logic programming languages : constraints, functions, and objects

Logic programming languages : constraints, functions, and objects

Krzysztof R Apt, J W de Bakker, J J M M Rutten
عام:
1993
اللغة:
english
ملف:
PDF, 49.82 MB
0 / 0
english, 1993
17
Lectures in Game Theory for Computer Scientists

Lectures in Game Theory for Computer Scientists

Krzysztof R. Apt, Erich Grädel
عام:
2011
اللغة:
english
ملف:
PDF, 1.72 MB
0 / 0
english, 2011
19
Logic programming languages : constraints, functions, and objects

Logic programming languages : constraints, functions, and objects

Apt, Krzysztof R., Rutten, J. J. M. M., Bakker, Jacobus Willem
عام:
1993
اللغة:
english
ملف:
DJVU, 2.08 MB
0 / 0
english, 1993
22
The Logic programming paradigm : a 25-year perspective

The Logic programming paradigm : a 25-year perspective

Krzysztof Apt, Victor W. Marek, Mirek Truszczynski, David S. Warren (eds)
عام:
1999
اللغة:
english
ملف:
DJVU, 4.12 MB
0 / 0
english, 1999
24
Logics of Programs: Workshop, Yorktown Heights, New York, May 1981

Logics of Programs: Workshop, Yorktown Heights, New York, May 1981

Krzysztof R. Apt, Ernst-Rüdiger Olderog (auth.), Dexter Kozen (eds.)
عام:
1982
اللغة:
english
ملف:
DJVU, 4.66 MB
0 / 0
english, 1982
26
Logic Programming: The Joint [9th] International Conference & Symposium

Logic Programming: The Joint [9th] International Conference & Symposium

Krzysztof Apt (ed.)
عام:
1992
اللغة:
english
ملف:
DJVU, 9.47 MB
0 / 0
english, 1992
27
Logics of Programs: Workshop, Yorktown Heights, New York, May 1981

Logics of Programs: Workshop, Yorktown Heights, New York, May 1981

Krzysztof R. Apt, Ernst-Rüdiger Olderog (auth.), Dexter Kozen (eds.)
عام:
1982
اللغة:
english
ملف:
PDF, 10.98 MB
0 / 0
english, 1982
30
New Perspectives on Games and Interaction

New Perspectives on Games and Interaction

Apt, Krzysztof R., Van Rooij, Robert
عام:
2009
اللغة:
english
ملف:
PDF, 12.72 MB
0 / 0
english, 2009
31
Verification of Sequential and Concurrent Programs

Verification of Sequential and Concurrent Programs

Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog
عام:
2009
اللغة:
english
ملف:
PDF, 8.45 MB
0 / 0
english, 2009
32
Logics and models of concurrent systems

Logics and models of concurrent systems

Krzysztof R Apt, North Atlantic Treaty Organization. Scientific Affairs Division (ed.)
عام:
1985
اللغة:
english
ملف:
DJVU, 4.51 MB
0 / 0
english, 1985
34
Logics and Models of Concurrent Systems

Logics and Models of Concurrent Systems

E. M. Clarke, M. C. Browne, E. A. Emerson, A. P. Sistla (auth.), Krzysztof R. Apt (eds.)
عام:
1985
اللغة:
english
ملف:
PDF, 18.36 MB
0 / 0
english, 1985
35
Programmverifikation: Sequentielle, parallele und verteilte Programme

Programmverifikation: Sequentielle, parallele und verteilte Programme

Prof. Dr. Krzysztof R. Apt, Prof. Dr. Ernst-Rüdiger Olderog (auth.)
عام:
1994
اللغة:
german
ملف:
PDF, 5.39 MB
0 / 0
german, 1994
36
Verification of Sequential and Concurrent Programs

Verification of Sequential and Concurrent Programs

Krzysztof R. Apt, Ernst-Rüdiger Olderog
عام:
1991
اللغة:
english
ملف:
PDF, 6.94 MB
0 / 0
english, 1991
38
Logics of Programs: Workshop, Carnegie Mellon University Pittsburgh, PA, June 6–8, 1983

Logics of Programs: Workshop, Carnegie Mellon University Pittsburgh, PA, June 6–8, 1983

Krzysztof R. Apt (auth.), Edmund Clarke, Dexter Kozen (eds.)
عام:
1984
اللغة:
english
ملف:
DJVU, 5.98 MB
0 / 0
english, 1984
39
Logics and models of concurrent systems

Logics and models of concurrent systems

E. M. Clarke, M. C. Browne, E. A. Emerson, A. P. Sistla (auth.), Krzysztof R. Apt (eds.)
عام:
1985
اللغة:
english
ملف:
DJVU, 5.18 MB
0 / 0
english, 1985
41
Logics of Programs: Workshop, Carnegie Mellon University Pittsburgh, PA, June 6–8, 1983

Logics of Programs: Workshop, Carnegie Mellon University Pittsburgh, PA, June 6–8, 1983

Krzysztof R. Apt (auth.), Edmund Clarke, Dexter Kozen (eds.)
عام:
1984
اللغة:
english
ملف:
PDF, 14.67 MB
0 / 0
english, 1984